141. Programming languages and systems : 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings

پدیدآورنده : Mooly Sagiv )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(

رده :

QA

76

.

L28

Vol

.

3444

142. Programming languages and systems : 8th European Symposium on Programming, ESOP'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings

پدیدآورنده : S. Doaites Swierstra )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(

رده :

QA

76

.

L28

Vol

.

1576

143. Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

پدیدآورنده : David Sands )ed.(

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Computer programming,، Programming languages )Electronic computers(

رده :

QA

76

.

6

.

E976

2001

144. Programming languages and systems : 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings

پدیدآورنده : David Sands )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(

رده :

QA

76

.

L28

Vol

.

2028

145. Programming with mobile applications :

پدیدآورنده : Thomas J. Duffy

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Programming languages (Electronic computers), Software,Smartphones-- Programming

رده :

QA76

.

76

.

A65

D84

2013

146. RIMS Symposia on Software Science and Engineering II :

پدیدآورنده : edited by Eichi Goto, Keijiro Araki, Taiichi Yuasa.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.

رده :

QA76

.

6

E358

1986

147. Raspberry Pi Assembly language programming :

پدیدآورنده : Stephen Smith.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Assembly languages (Electronic computers),Raspberry Pi (Computer)-- Programming.,Assembly languages (Electronic computers)

رده :

QA76

.

73

.

A8

S65

2019eb

148. Rust essentials :

پدیدآورنده : Ivo Balbaert

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Application software-- Development,Computer programming,Programming languages (Electronic computers)

رده :

QA76

.

7

149. SNAP : Synthesis Netlist Analysis and Program software, Release 1.6

پدیدآورنده : Philips Components - Signetics corp

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Programming languages )Electronic computers( , SNAP )Computer program language(

رده :

QA

76

.

7

.

S62

1990

150. Scenarios : models, transformations and tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers

پدیدآورنده : Stefan Leue, Tarja Johanna Systa )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Graphic methods -- Congresses ، Software engineering,Congresses ، Computer network protocols,Congresses ، Programming languages )Electronic computers( -- Semantics

رده :

QA

76

.

L28

Vol

.

3466

151. Selected reprints in software

پدیدآورنده : / edited by Marvin V. Zelkowitz

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)

موضوع : Computer software,Programming languages (Electronic computers)

رده :

QA

76

.

759

.

S45

1987

152. Software Engineering; an Advancd Course

پدیدآورنده : edited by F. L. Bauer

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Programming- Congresses ، Electronic digital computers,Congresses ، Programming languages )Electronic computers(

رده :

QA

76

.

6

.

A33

1972a

153. Software System Design Methods :

پدیدآورنده : edited by Jozef K. Skwirzynski.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer Communication Networks.,Computer science.,Software engineering.

رده :

QA76

.

76

.

D47

E358

1986

154. Software engineerin

پدیدآورنده : Pratap K. J. Mohapatra

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع : Computer programming,Programming languages (Electronic computers),Electronic books., lcsh

رده :

QA

،

76

.

6

،.

M64

,

2010eb

155. Software engineering

پدیدآورنده : Pratap K. J. Mohapatra.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer programming.,Programming languages (Electronic computers)

رده :

QA76

.

6

.

M64

2010eb

156. Software engineering

پدیدآورنده : Pratap K. J. Mohapatra.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer programming.,Programming languages (Electronic computers)

رده :

QA76

.

6

.

M64

2010eb

157. Software engineering; an advanced course

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(

رده :

QA

76

.

6

.

A33

1977

158. Software engineering: an advanced course

پدیدآورنده : )by( F.L. Bauer...)et al.( edited by F. L.Bauer

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Programing - Congresses ، Electronic digital computers,Congresses ، Programming languages )Electronic computers(

رده :

QA

76

.

6

.

A33

1972b

159. Software engineering: developments

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Electronic digital computers-- Programming-- Addresses, essays, lectures,، Computer programs-- Addresses, essays, lectures,، Programming languages )Electronic computers(-- Addresses, essays, lectures

رده :

QA

76

.

6

.

S7

160. Software language engineering :

پدیدآورنده : Anneke Kleppe.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer software-- Development.,Programming languages (Electronic computers),Software engineering.,Computer software-- Development.,Computer software-- Development.,Programming languages (Electronic computers),Programming languages (Electronic computers),Software engineering.,Software engineering.

رده :

QA76

.

7

.

K576

2009